Lecture 16 : Hardness of E 3 - LIN 2 , Håstad ’ s 3 - query PCP
نویسنده
چکیده
We begin with a long code test, where our goal is that functions which pass this test with high probability are close to a linear function with small support. We do this by examining our old linearity test but add in a bit of noise, in the form a string μ. This little bit of noise will allow us to conclude that the support for the function is small and further is under the control of out and δ parameters. Definition 2.1. We say a string μ ∈ {−1, 1} is picked randomly with bias if for each i. μi = { 1 with prob 1− 2 −1 with prob 2 .
منابع مشابه
A Tight Characterization of NP with 3 Query PCPs
It is known that there exists a PCP characterization of NP where the verifier makes 3 queries and has a one-sided error that is bounded away from 1; and also that 2 queries do not suffice for such a characterization. Thus PCPs with 3 queries possess non-trivial verification power and motivate the task of determining the lowest error that can be achieved with a 3-query PCP. Recently, Håstad [11]...
متن کاملA -Query Non-Adaptive PCP with Perfect Completeness
We study a very basic open problem regarding the PCP characterization of NP, namely, the power of PCPs with non-adaptive queries and perfect completeness. Optimal results are known if one sacrifices either non-adaptiveness or perfect completeness. Håstad [11] constructs a -query non-adaptive PCP with soundness but it loses prefect completeness ( is an arbitrarily small constant). Guruswami et a...
متن کاملSimple Analysis of Graph Tests for Linearity and PCP
We give a simple analysis of the PCP with low amortized query complexity of Samorodnitsky and Trevisan [16]. The analysis also applies to the linearity testing over finite fields, giving a better estimate of the acceptance probability in terms of the distance of the tested function to the closest linear function.
متن کاملMore Efficient Queries in PCPs for NP and Improved Approximation Hardness of Maximum CSP
In the PCP model, a verifier is supposed to probabilistically decide if a given input belongs to some language by posing queries to a purported proof of this fact. The probability that the verifier accepts an input in the language given a correct proof is called the completeness c; the probability that the verifier rejects an input not in the language given any proof is called the soundness s. ...
متن کاملCse 533: the Pcp Theorem and Hardness of Approximation Lecture 20: Course Summary and Open Problems
– PCP theorem. The classic PCP theorem is most useful for proving that optimization problems have no PTAS. – E3LIN2. The 1− 2 vs 1/2− 2 hardness of this problem is most useful for proving that problems have no approximation beyond a fixed constant factor; i.e., for statements like “such-and-such maximization problem has no 77 78 -approximation unless P = NP”. – Raz’s Label Cover. The hardness o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005